Metric characterizations of upper semicontinuity

Metric Pseudoentropy: Characterizations and Applications

Metric entropy is a computational variant of entropy, often used as a convenient substitute of HILL Entropy, slightly stronger and standard notion for entropy in cryptographic applications. In this paper we develop a general method to characterize metric-type computational variants of entropy, in a way depending only on properties of a chosen class of test functions (adversaries). As a conseque...

Characterizations of Compactness for Metric Spaces

Characterizations of Sobolev Inequalities on Metric Spaces

We present isocapacitary characterizations of Sobolev inequalities in very general metric measure spaces.

Upper Semicontinuity of Attractors for Linear Multistep Methods

This paper sets out a theoretical framework for approximating the attractor A of a semigroup S(t) deened on a Banach space X by a q{step semi{discretization in time with constant step{length k. Using the one{step theory of Hale, Lin and Raugel, suucient conditions are established for the existence of a family of attractors fA k g X q , for the discrete semigroups S n k deened by the numerical m...

Metric Characterizations of Contextual Logic Programs

The aim of this paper is twofold: to characterize contextual logic programs by means of metric semantics and to argue the usefulness of metric characterizations for formally reasoning about program properties. A new denotational semantics of contextual logic programs is proposed. It is deened compositionally, without any help of any declarative paradigm and of any transition system. Following t...